#include<stdio.h>
#include<string.h>
const int maxn=1e5+10;
void g()
{
	char a[maxn];
	gets(a);
	int len=strlen(a);
	if(len==11){
		for(int i=0;i<len;i++){
			if(a[i]<'0'&&a[i]>'9'){
				printf("No");
				break;
			}
		}
		printf("Yes");
	}
	else 
		printf("No");
}
int main()
{
	g();
	return 0;
}
